Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)
by Julia Seiter,Robert Wille,Rolf Drechsler
ISBN 13: 9783319414799
Format: Paperback (104 pages) Publisher: Springer Published: 11 Jul 2016
Save for later